The paper gives a survey of results related to a problem of automatic recognizing important properties of non-classical logics.

Chapter One: Constructions. Entities, constructions, and functions When one travels from Los Angeles to New York, going, say, by way of St. Louis, Chicago, ...

In this paper we argue that Aristotle operates with a particular theoretical model in his explanation of animal locomotion, what we call the ‘centralized incoming and outgoing motions’ model. We show how the model accommodates more complex cases of animal motion and how it allows Aristotle to preserve the intuition that animals are self-movers, without jeopardizing his arguments for the eternity of motion and the necessary existence of one eternal unmoved mover in Physics VIII. The CIOM model helps to elucidate (...) Aristotle’s two central yet problematic claims, namely that the soul is the efficient cause of animal motion and that it is the internal supporting-point necessary for animal motion. Moreover, the CIOM model helps us to explain the difference between voluntary, involuntary and non-voluntary motions, and to square Aristotle’s cardiocentrism with his hylomorphism, but also, more generally, it provides an interesting way of thinking about the place of intentionality in the causal structure of the world. (shrink)

Roman Catholic and Eastern Orthodox theologians claim that the unique event of Christ’s sacrifice on Calvary is present in Eucharistic liturgies. A popular explanatory strategy for this miraculous presence suggests that due to its supernatural character the Eucharist “conquers time,” transcends its boundaries, and allows for temporal coincidence of two chronologically distant events. I discuss the four main approaches within this strategy that can be discovered in contemporary theological writings. The first approach implies a time travel of the Calvary event. (...) The second suggests the time travel of Eucharistic participants. The third eliminates the chronological distance by relocating one of the events into a timeless reality. The fourth assumes multilocation of the event across time. I argue that each of these approaches is untenable on philosophical or theological grounds. (shrink)

Introduction. The article is focused on analyzing the aesthetic aspect of A. Kojève’s philosophy, the ability of his philosophy, from an aesthetic point of view, to clarify a number of key problems of the modern political and cultural environment. The purpose of the study is to determine the epistemological attitude of A. Kojève’s philosophy able to clarify the way in which his philosophy problematizes the current cultural and political reality. Methods. Hermeneutics, comparative analysis and deconstruction are used as research methods. (...) Comparative analysis allows us to demarcate A. Kojève’s own line of reasoning, in the context of aesthetic and epistemological theories, as well as Hegelian themes themselves. Hermeneutics is the central method in the work, since the philosophy of A. Kojeve requires interpretation as an aesthetic theory. Deconstruction, formalized to the status of a method according to P. de Man, allows us to detect inconsistencies, the principle of mutual problematization of Kojeve’s philosophy and the current political and epistemological agenda. Scientific novelty of the research. The standard way of interpreting the work of A. Kojève is to evaluate him as an interpreter of G. Hegel. The author analyzes some meaning of A. Kojève’s philosophy, separate from G. Hegel’s explanation of the text. The novelty lies not only in the fact that A. Kojève’s philosophy is defined as theorizing that goes beyond technical hermeneutics (clear presentation), but also as a specific representation of such theorizing as epistemological aesthetic theory. The latter is a rather rare interpretation of the philosophy of A. Kojeve. This allows us to expand the traditional assumption that post-Hegelian epistemesthetics is the property of an extremely limited number of authors (for example, B. Croce). Moreover, such an interpretation of A. Kojève’s theories is a new element in the emerging trend of considering political issues within the framework of epistemological aesthetics. Results. The specific mode of interpreting G. Hegel, which is carried out by A. Kojève, turns the philosophy of the former into a unique aesthetic project. In this project, the category of aesthetic experience comes to the foreground, indicating the empty, formal nature of any discourse. In this regard, any claim to knowledge of reality, to a correct idea of the subject is replaced by the idea of creating the subject of discourse. Consistent treatment of this idea is symptomatic of the philosophy of A. Kojève. This philosophy is a reflection of those historical changes that gave rise to the culture of “aesthetic rationality”: empty and formal. In A. Kojève’s philosophy, one can see how such a culture of the End of History is, contrary to Hegelian ideas, not the era of the struggle decline, but the era of its strange transformation, a symptom of increasing political violence. Conclusions. A. Kojève’s philosophy is considered not as a utopian political project, but as a problematization of the modern cultural and political sphere. The latter is understood as an indication of the inconsistency of ontological discourses of Truth, the discovery in the very essence of discursive practices of an empty, formal principle, and therefore primarily of interest to aesthetics. The modern era of the End of History and the end of the era of persuasive speech gives an idea of the main political paradox (at least for the philosophy of A. Kojève, and at most for the modern political environment). The era of disappointment in discourse should become an era of refusal to fight for discourses, but it becomes an era of maximizing violence, since it is in a situation of disappointment that discourses can only be supported by force. We move from unconvincing speech to convincing violence, but it is possible to understand the origins and specifics of this transition only by considering A. Kojève’s philosophy in the light of such a discipline as aesthetics. (shrink)

Aristotle's notion of experience plays an important role in his epistemology as the link between perception and memory on the one side, and higher cognitive capacities on the other side. However, Aristotle does not say much about it, and what he does say seems inconsistent. Notably, some passages suggest that it is a non-rational capacity, others that it is a rational capacity and that it provides the principles of science. This paper presents a unitary account of experience. It explains how (...) experience grows from perception and memory into a rational capacity, and in what way it provides the principles. (shrink)

The subject of the study is the socio-cultural threats to the information security of Russian citizens associated with ChatGPT technologies (Chat Generative Pre-trained Transformer, a machine-generated text response generator simulating a dialogue). The object of research − evaluation of the ratio of advantages and threats of generative language models based on "machine learning" in modern (2021-2023) scientific literature (journals HAC K1, K2 and Scopus Q1, Q2). The scientific novelty of the research lies in the culturological approach to the analysis of (...) threats to the security of Russian citizens associated with the use of ChatGPT as one of the technologies of "artificial intelligence". The formulation of the problem of the classical Turing test "to distinguish a person from a machine" is characterized as a scholastic abstraction, instead a more correct and productive approach is proposed: a socio-cultural assessment of the value (based on cultural axiology) of new computer technologies. The starting point of the analysis is the determination of socio-cultural value (or, conversely, damage) as a result of the use of generative language models based on machine learning. Further, the contribution and responsibility of various socio-cultural subjects of its creation and application are revealed − user, creator and developer. The result of the application of the proposed approach is the deconstruction of the discourse of the "philosophy of artificial intelligence" in terms of uncritical translation of developer declarations intended for marketing and attracting financing. Hypertrophied perception, precariously balancing on the edge of utopia and dystopia, is assessed as a risk of incorrect identification and ranking of threats to information security. Assumptions about the hypothetical "superweapon of psychological warfare" mask modern incidents of cross-border leakage of confidential data, the risks of being held accountable for publishing deliberately false information and illegal content as a result of using ChatGPT. National security measures are recommended, including restrictive measures and increasing the general civil culture of information security of users, as well as the orientation of domestic developments of solutions of this type on traditional values, socio-cultural identity and interests of Russian citizens. (shrink)

2 Popper's Logical Definition of Verisimilitude. 3 Popper's Probabilistic Definition of Verisimilitude. 4 Conclusion.

Traxler, Pickering, and Clifton found that ambiguous sentences are read faster than their unambiguous counterparts. This so-called ambiguity advantage has presented a major challenge to classical theories of human sentence comprehension because its most prominent explanation, in the form of the unrestricted race model, assumes that parsing is non-deterministic. Recently, Swets, Desmet, Clifton, and Ferreira have challenged the URM. They argue that readers strategically underspecify the representation of ambiguous sentences to save time, unless disambiguation is required by task demands. When (...) disambiguation is required, however, readers assign sentences full structure—and Swets et al. provide experimental evidence to this end. On the basis of their findings, they argue against the URM and in favor of a model of task-dependent sentence comprehension. We show through simulations that the Swets et al. data do not constitute evidence for task-dependent parsing because they can be explained by the URM. However, we provide decisive evidence from a German self-paced reading study consistent with Swets et al.'s general claim about task-dependent parsing. Specifically, we show that under certain conditions, ambiguous sentences can be read more slowly than their unambiguous counterparts, suggesting that the parser may create several parses, when required. Finally, we present the first quantitative model of task-driven disambiguation that subsumes the URM, and we show that it can explain both Swets et al.'s results and our findings. (shrink)

“Eco-labels” are an increasingly important form of private regulation for sustainability in areas such as carbon emissions, water consumption, ethical sourcing, or organic produce. The growing interest and popularity of eco-labels has also been coupled with growing concerns about their credibility, in part because the standard-setting and conformity assessment practices that eco-labels adopt exhibit striking differences. In this paper, we assess which assurance practices contribute to eco-labels being perceived as better governed, in the eyes of experts as well as the (...) media. Unlike previous studies, which are mostly conceptual, qualitative, or focused on one or few eco-labels, we study a large set of eco-labels, combining data from three different sources. Our findings suggest that experts and media are primarily concerned about “re-assurance” practices, looking for one or preferably multiple layers of “re-assurance” that independent parties are overseeing the eco-label and the firms certified under it. (shrink)

In this article I explore Maimon’s role in the evolution of Kant’s understanding of the function of the history of philosophy in philosophical enquiry. Kant is often viewed as holding an ambivalent...

I. The framework. 1, Aristotle's project and methods. 2, The perceptual capacity of the soul. 3, The sensory apparatus. 4, The common sense and the related capacities -- II. The terminology. 1, Overlooked occurrences of the phrase 'common sense'. 2, De anima III.1 425a27. 3, De partibus animalium IV.10 686a31. 4, De memoria et reminiscentia 1 450a10. 5, De anima III.7 431b5. 6, Conclusions on the terminology -- III. Functions of the common sense. 1, Simultaneous perception and cross-modal binding. 2, (...) Perceptual discrimination. 3, Waking, sleep, and control of the senses. 4, Perceiving that what we see and hear, and monitoring of the senses. 5, Other roles of the common sense -- Conclusion. (shrink)

Motivated by the problem of finding finite versions of classical incompleteness theorems, we present some conjectures that go beyond NP ≠ coNP. These conjectures formally connect computational complexity with the difficulty of proving some sentences, which means that high computational complexity of a problem associated with a sentence implies that the sentence is not provable in a weak theory, or requires a long proof. Another reason for putting forward these conjectures is that some results in proof complexity seem to be (...) special cases of such general statements and we want to formalize and fully understand these statements. Roughly speaking, we are trying to connect syntactic complexity, by which we mean the complexity of sentences and strengths of the theories in which they are provable, with the semantic concept of complexity of the computational problems represented by these sentences. -/- We have introduced the most fundamental conjectures in our earlier works. Our aim in this article is to present them in a more systematic way, along with several new conjectures, and prove new connections between them and some other statements studied before. (shrink)

We prove an exponential lower bound on the length of cutting plane proofs. The proof uses an extension of a lower bound for monotone circuits to circuits which compute with real numbers and use nondecreasing functions as gates. The latter result is of independent interest, since, in particular, it implies an exponential lower bound for some arithmetic circuits.

The subject of the article is the philosophical and cultural methodology of digital "virtual reality", comparing the declarations of developers with the practical possibilities and social consequences of using such technologies. The developers presented projects of online digital content services for all five senses using special equipment (glasses, headphones, interactive gloves, joysticks, costumes, printers of smells and tastes, etc.). It was assumed that virtual reality would surpass the reliability of previous multimedia content and interactive computer games, and the persuasiveness and (...) attractiveness of traditional technical means of art and the press. Failure to fulfill these promises has led to significant losses since 2022 for leading companies developing digital virtual reality technologies Meta (recognized by the court as an extremist organization on 03/21/2022, activity is limited in the territory of the Russian Federation), Microsoft HapticLinks, Cave, AlloSphere, Teslasuit, VRealizer. There was a need to assess how and to what extent the methodology used and the predicted capabilities of digital virtual reality were correct. Philosophical and cultural analysis as a research method reveals: the developers of digital virtual reality promised the methodologically impossible, reducing human perception to the "sum" of the external "five senses" out of connection with the "self", inner sensitivity, bodily self-perceptions. A person is only partially amenable to algorithmized digital interaction; a critical barrier to digital virtuality is the socio-cultural identity of society and personality. The novelty of the results of the analysis lies in the conclusion: digital virtual reality in many respects is fundamentally inferior in effectiveness to traditional technical means of sensory and emotional impact and cognition, used both for creative and destructive purposes. In terms of creative potential, digital virtual reality is inferior to the technical means of art, science, education, upbringing, etc., and in terms of destructive capabilities, it is already used in the press and other mass communications technologies for manipulating public and individual consciousness, as well as psychotropic substances that cause addiction. National regulation of the development of digital "virtual reality" is recommended, aimed at protecting and developing the socio-cultural identity of Russian citizens and society, as well as for cognitive and educational purposes. It is recommended to limit the remote use of such developments to trusted domestic Internet services. (shrink)

Of two false theories, One can be, Intuitively, Closer to the truth than the other. The purpose of the article is to propose a rigorous explication of this intuitive notion.

International and domestic law offer a study in contrasts: States' legal obligations often depend on their consent to specific international legal norms, whereas domestic law applies to individuals with or without their consent; enforcement in international law is weak and, for many international treaties, non‐existent, whereas states spend considerable resources to create centralized coercive enforcement mechanisms; and international law is characterized by much less institutional differentiation and specialization of functions than domestic legal systems are. These differences have invited a number (...) of skeptical challenges to international law, 3 of which we explore in this essay. The first points to 1 or more of the deviations of international law's institutional structure from that of a modern state's legal system as a basis for denying that international law is really “law.” Central to the debates over international law's status as law are concerns about whether and why the concepts of law inherited from domestic legal systems should serve as the blueprint for theorizing law in general and international law in particular. The second skeptical challenge targets international law's legitimacy. It claims that we lack reasons to treat international legal norms or the exercise of political power by international institutions, as anything other than an attempt by states to advance their national interests. If this challenge succeeds, states and other subjects of international law have merely prudential reasons to comply with it rather than a moral duty to obey it. Following a brief description of recent debates over how we ought to understand the concept of legitimacy when used to assess international political practices or global governance, we survey several possible bases for a moral duty to obey or respect international law. These include state consent, instrumental accounts of legitimate authority, and global democracy. The third set of challenges focuses on the relationship between state sovereignty and international law. International rules and institutions often make demands for reform affecting the domestic law of a state in order to elicit compliance with international law. Skeptics argue that the rule of international law is incompatible with states' political self‐determination. Regardless of whether their defense of this claim ultimately succeeds, thoughtful engagement with it may well require us to rethink some of the fundamental concepts and normative ideals in political philosophy, including state sovereignty, democracy, individual rights, political authority, and political obligation. (shrink)

Článek se zabývá způsobem, jakým vnímá vztah vědecké metody a demokracie Karl Popper. Toto sepětí je jedním ze základních atributů Popperova myšlení. Pro jeho pochopení je třeba zasadit Poppera do historického kontextu vývoje liberálního myšlení a poukázat na možné souvislosti se Schumpeterovou redefinicí demokracie. Výchozím bodem je však interpretace základních episte- mologických předpokladů Popperova myšlení - konceptů provizornosti vědeckého poznání a ratio negativa. Primárním cílem článku je kontextualizace těchto předpokladů s politologickými a sociologickými důsledky. Ty lze spatřovat nejen s odmítnutím (...) positivismu a esencialismu, ale také v Popperově preferenci volebních a stranických systémů. Na závěr je rozpracována problematika kritického racionalismu, hodnot a otevřené společnosti na základě možných námitek vůči Popperově teorii. (shrink)

Studie má za cíl představit strukturu Hayekova evolucionismu. Argumentace postupuje v několika krocích: Východiskem je historicko- systematická expozice způsobu, jakým evoluční teorie ovlivnila Hayekovu filosofii, především s ohledem na periodizaci vývoje jeho myšlení a systematické odlišení explanans a explanandum v rámci jeho teorie vědy. Dále je rozebírán způsob, jakým Hayek rozvíjí svoji metodologii vědy. V této souvislosti je argumentováno ve prospěch teze, že Hayekovo pojetí metodologického dualismu je důsledkem ovlivnění evoluční teorií. Zároveň je evoluční teorie představena jako nástroj vysvětlení, konkrétně (...) pak tzv. vysvětlení vzorce. Následně je představeno Hayekovo pojetí společnosti v kontextu kulturní evoluce. Společnost je interpretována jako řád jednání a je kladen důraz na Hayekovo vnímání společnosti jako řádu vyvíjejícího se společně s lidskou myslí. Na základě těchto předpokladů je v poslední části rozvinuto Hayekovo pojetí mysli. Toto pojetí vychází z konekcionistické pozice. Dále argumentuji proti tradičnímu pohledu na Hayekovu filosofii jako rozvíjení Kantovy filosofie. Závěr rekapituluje základní body Hayekova evolucionismu. (shrink)

The normative and metanormative pluralism that figures among core self-descriptions of democratic theory, which seems incompatible with democratic theorists’ practical ambitions, may stem from the internal logic of research traditions in the social sciences and humanities and in the conceptual structure of political theory itself. One way to deal productively with intradisciplinary diversity is to appeal to the idea of a meta-consensus; another is to appeal to the argument from cognitive diversity that fuels recent debates on epistemic democracy. For different (...) reasons, both strategies fail, such that a metatheoretical step aside may be desirable, one that entails modeling democratic theory after the public justification approach. (shrink)

Aristotle was deeply fascinated by animals on account of their self-motion—that is, animals move themselves from one place to another in response to their needs and desires rather than in mechanical or chemical reaction to things in their environment, as inanimate things and plants do. This ability requires sensory awareness of one's environment and sophisticated control of one's body. Moreover, Aristotle was intrigued by the sheer variety of ways animals move themselves and of the parts they employ to do so. (...) Indeed, this variety was something Aristotle systematically observed and held in need of scientific explanation, which is precisely what he delivers in the short treatise, On Progression of Animals (De incessu... Read More. (shrink)

The article analyzes the concept of serendipity as a property and state of personality. The approach chosen by the author is aesthetic; the problem is covered from the perspectives of pedagogy and didactics. The object of the study is the phenomenon of "intuitive serendipity", the subject is the methods of creativity development. Comparison of different types of thinking (inductive, deductive, paradoxical) allowed us to make a number of generalizing judgments. In particular, the superiority of "paradox logic" over formal logic and (...) the role of intuition and "sense of truth" in the process of cognition. On the basis of the conclusions it is proposed to discuss the author's hypothesis of the trigger principle of learning based on cultivating a craving for knowledge, ideological immunity and the ability to independently search for and analyze information, as well as to implement it in the creative process. В статье приводится анализ понятия серендипности как свойства и состояния личности. Выбранный автором подход — эстетический; освещение проблемы в ракурсах педагогики и дидактики. Объект исследования — феномен "интуитивной прозорливости", предмет — методики развития творческого потенциала. Сравнение различных типов мышления (индуктивное, дедуктивное, парадоксальное) позволило выйти на ряд суждений обобщающего характера. В частности — о превосходстве "логики парадокса" над логикой формальной и о роли интуиции и "чувства истины" в процессе познания. На основании выводов предлагается обсудить авторскую гипотезу триггерного принципа обучения, основанного на культивировании тяги к знаниям, идеологического иммунитета и способности самостоятельно искать и анализировать информацию, а также реализовывать ее в творческом процессе. (shrink)

Despite relative neglect in the literature, Kant’s published and unpublished writings in theoretical philosophy reveal a sustained and at times ambivalent effort to come to terms with the problem of miracles. Because they entail a form of supernatural causation that undermines the law-governedness of the order of nature, miracles pose a significant problem for Kant’s metaphysics. I explore in detail Kant’s account of miracles in conjunction with the relevant aspects of his metaphysics of nature in order to establish in what (...) sense miracles are possible, and how they fit into Kant’s architectonic more generally. (shrink)

There is probably only one information system in living nature — the macromolecular system including DNA, RNA and protein. Its unity for the genetic and nervous activity can be followed in the storage of information (heredity, memory) and in its processing (recombination and selection of both genetic and mental information). According to the hypothesis of the code of nerve impulses, nucleotide triplets of the nucleus, or more likely amino acids of the surface protein of the impulse generating area of a (...) neuron, generate a limited variety of interspike intervals so that each amino acid corresponds to a certain interspike interval and this particular interval initiates by means of a specific neurotransmitter, the synthesis of the same amino acid (or nucleotide triplet) in the postsynaptic neuron. Thus, a series of impulses produces in the postsynaptic neuron a sequence of amino acids in a form of a polypeptide identical to the polypeptide of the presynaptic neuron. (shrink)

Journal Name: Apeiron Issue: Ahead of print.

My book is about the human creativity being a source of progress, and cycling of evolution caused by platitude and triviality of once high-reaching idealism. In essence the book presents an original perception of human history, based on Christian values as vital coordinates system. I hope this book will revive the interest to the Russian school of thoughts and to humanism in general.

The article offers a rigorous explication of the intuitive notion of verisimilitude, I.E., Of the distance of a theory from the truth. The proposal is defended against charges of material inadequacy made by popper, Niniluoto, And miller.

his article will focus on the mechanistic origins of the computer metaphor, which forms the conceptual framework for the methodology of the cognitive sciences, some areas of artificial intelligence and the philosophy of mind. The connection between the history of computing technology, epistemology and the philosophy of mind is expressed through the metaphorical dictionaries of the philosophical discourse of a particular era. The conceptual clarification of this connection and the substantiation of the mechanistic components of the computer metaphor is the (...) main goal of this article. The statement is substantiated that the invention of mechanical computing devices, having a long history in the European engineering tradition, formed the prerequisites for the emergence of machine functionalism in the modern philosophy of mind. The idea of multiple implementation stems from the principle that a formal symbol system prescribes rules for the use of rational abstractions through the physical architecture of a computational engine. The article considers the reasons for the conceptual shift and reveals the semantic foundations for the metaphorical transfer of the properties of abstract objects from the theory of automata to the field of modern philosophy of mind. The criticism and ways of protecting the philosophical program of machine functionalism are analyzed by changing the content of the metaphor “Mind as machine”. The reasons for the stability of the information-computer approach in cognitive sciences are also disclosed and explained. (shrink)